System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
181	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
182	SMC-IT 2009 Paper ID #16 1 Dshell++: A Component Based, Reusable Space System Simulation Framework Add to Reading List Source URL: trs-new.jpl.nasa.gov Language: English - Date: 2015-05-14 19:27:55 Computer programming Operations research Simulation Hardware-in-the-loop simulation Scientific modelling Python Simulation language Computer simulation Computing Software engineering Simulation software
183	Expressive and Modular Predicate Dispatch for Java TODD MILLSTEIN, CHRISTOPHER FROST, JASON RYDER and ALESSANDRO WARTH University of California, Los Angeles Add to Reading List Source URL: www.frostnet.net Language: English - Date: 2009-02-20 17:11:00 Object-oriented programming Method Programming paradigms Common Lisp Lisp programming language Multiple dispatch Dynamic dispatch Common Lisp Object System Polymorphism Software engineering Computing Computer programming
184	Odin Technical Support Guide Revision 3 2 Add to Reading List Source URL: www.odin.com Language: English - Date: 2015-05-07 03:40:12 Web hosting PHP programming language Odin Völsung cycle Æsir Plesk Horde Email Software Computing System software
185	David Isaac Leedavid-lee.net Brown University 2015 Add to Reading List Source URL: david-lee.net Language: English - Date: 2015-05-28 11:42:31 Dolby Laboratories Dolby noise-reduction system Adobe Systems Visual programming language Technology Electronics Digital media Audio codecs Digital audio Sound recording
186	System Administrative and General Offices Add to Reading List Source URL: budget.tamu.edu Language: English - Date: 2014-05-05 11:17:14 C programming language International Obfuscated C Code Contest Four-square cipher Computer programming Computing Software engineering
187	A dynamic virtual machine for the support of interoperable programming languages J. Baltasar García Perez-Schofield Francisco Ortín Soler Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-06-09 14:53:04 Cross-platform software Type theory Programming language Strong typing Type system D Python Late binding C++ Software engineering Computing Computer programming
188	Runtime Instrumentation for Precise Flow-Sensitive Type Analysis Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-17 17:02:57 Computer programming Type theory Cross-platform software Procedural programming languages PHP programming language Type system C Pointer PHP Computing Software engineering Data types
189	Case Study Lyon Metro – the implementation of a safety-related system under ENfor their driverless trains In a nutshell: Add to Reading List Source URL: www.programmingresearch.com Language: English - Date: 2015-05-22 08:33:23 Rail transport in France C programming language MISRA C Motor Industry Software Reliability Association Lyon Metro C KeY Lyon Computing Software engineering Computer programming
190	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. Box 7674  Berkeley, CaliforniaPhone: www.indulcijubilo.org Add to Reading List Source URL: www.indulcijubilo.org Language: English Project management In dulci jubilo Ada United States Postal Service Type system Computing Software engineering Programming language theory

UPDATE